Hardware verification languages - PDFSEARCH.IO - Document Search Engine

Hardware verification languages
Results: 197

#	Item
61	Verification Challenges of Pervasive Information Flow Benjamin C. Pierce Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-02-11 22:13:22 Benjamin Pierce Pierce Formal verification E Programming language Applied mathematics Mathematics Computer science Hardware verification languages Formal methods Logic in computer science
62	[removed]David Jeffrey Ljung Madison - Resume David Jeffrey Ljung Madison Programming, Algorithm Design/Development, VLSI / CPU Verification Add to Reading List Source URL: davesource.com Language: English - Date: 2014-10-17 23:07:38 Hardware description languages Hardware verification languages Formal methods Logic in computer science Verilog Application-specific integrated circuit Post-silicon validation Formal verification Random test generator Electronic engineering Electronic design automation Digital electronics
63	Appears in the Proceedings of the 47th Int’l Symp. on Microarchitecture (MICRO-47), December[removed]PyMTL: A Unified Framework for Vertically Integrated Computer Architecture Research Derek Lockhart, Gary Zibrat, and Ch Add to Reading List Source URL: csl.cornell.edu Language: English - Date: 2015-03-29 23:28:17 Hardware description languages Hardware verification languages Logic design Technical communication Verilator Verilog High-level synthesis VHDL Logic simulation Electronic engineering Digital electronics Electronic design automation
64	Randomization Test used in DeWalt et alPlant Ecology Kyle Harms Add to Reading List Source URL: www.kharms.biology.lsu.edu Language: English - Date: 2014-05-30 18:12:24 Statistical tests Hardware verification languages Randomness Randomization Resampling E Statistics Design of experiments Probability and statistics
65	MG_Boilerplate10-WP3b arial Add to Reading List Source URL: s3.mentor.com Language: English - Date: 2014-11-26 17:58:07 Logic design Electronic design automation E Logic simulation Debugging Mentor Graphics Electronic engineering Digital electronics Hardware verification languages
66	Land concolidation planning English version – SOSI standard 4.0 Land concolidation planning English version – SOSI standard 4.0 Land concolidation planning English version – SOSI standard 4.0 Add to Reading List Source URL: kartverket.no Language: English - Date: 2013-01-29 08:08:10 E C++ classes Hardware verification languages Valuation Data type
67	Formal Verification of SystemC Designs Using a Petri-Net Based Representation Daniel Karlsson, Petru Eles, Zebo Peng Department of Computer and Information Science, Linköpings universitet, Sweden {danka, petel, zebpe}@i Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2006-03-23 11:50:34 SystemC Models of computation Transaction-level modeling E Thread Petri net Electronic engineering Hardware verification languages Hardware description languages
68	Accellera Continues to Promote Increased Electronic Design Productivity with Revised VHDL Standard Revision approval follows Accellera’s approval of VHDL API specification NAPA, Calif., Oct. 9, 2006, — Accellera, the Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2006-10-22 05:04:56 Standards organizations Hardware verification languages IEEE standards Accellera VHDL Property Specification Language IEEE Standards Association Verilog Institute of Electrical and Electronics Engineers Electronic engineering Electronic design automation Hardware description languages
69	DirectX 11 CheatSheet Version 1.0 © [removed]Adam Sawicki, www.asawicki.info General IDXGISwapChain typedef struct DXGI_SWAP_CHAIN_DESC { Add to Reading List Source URL: www.asawicki.info Language: English - Date: 2014-08-29 14:57:10 C programming language C++ Data types Procedural programming languages Hardware verification languages E Typedef Struct C Computing Software engineering Computer programming
70	Property Specification Language Reference Manual Version 1.1 June 9, 2004 Add to Reading List Source URL: www.eda-stds.org Language: English - Date: 2004-06-29 00:18:58 Formal methods Hardware verification languages Property Specification Language Accellera Technical communication Verilog Specification Functional verification Functional specification Electronic design automation Electronic engineering Hardware description languages

UPDATE